Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Teacher education seeks to transform prospective and/or practicing teachers from neophyte possibly uncritical perspectives on teaching and learning to more knowledgeable, adaptable, analytic, insightful, observant, resourceful, reflective and confident professionals ready to address whatever challenges teaching secondary mathematics presents. This transformation occurs optimally through constructive engagement in tasks that foster knowledge for teaching secondary mathematics. Ideally such tasks provide a bridge between theory and practice, and challenge, surprise, disturb, confront, extend, or provoke examination of alternatives, drawn from the context of teaching. We define tasks as the problems or activities that, having been developed, evaluated and refined over time, are posed to teacher education participants. Such participants are expected to engage in these tasks collaboratively, energetically, and intellectually with an open mind and an orientation to future practice. The tasks might be similar to those used by classroom teachers (e.g., the analysis of a graphing problem) or idiosyncratic to teacher education (e.g., critique of videotaped practice). This edited volume includes chapters based around unifying themes of tasks used in secondary mathematics teacher education. These themes reflect goals for mathematics teacher education, and are closely related to various aspects of knowledge required for teaching secondary mathematics. They are not based on the conventional content topics of teacher education (e.g., decimals, grouping practices), but on broad goals such as adaptability, identifying similarities, productive disposition, overcoming barriers, micro simulations, choosing tools, and study of practice. This approach is innovative and appeals both to prominent authors and to our target audiences. This book may inspire researchers who engage in the study of design principles and characteristics of productive tasks for secondary mathematics teacher education.

Teacher education. Teacher's profession --- Didactics of mathematics --- didactiek --- wiskunde --- lerarenopleiding --- lesgeven --- Systèmes d'exploitation (ordinateurs) --- Mathematics—Study and teaching . --- Teaching. --- Mathematics Education. --- Teaching and Teacher Education. --- #ZR ////// ZAIREES RECHT ////// --- 681.3*D45 --- 681.3*D46 --- 681.3*D48 --- 681.3*H24 --- 681.3*H24 Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- Systems: concurrency; distributed systems; query processing; transaction processing (Database management) --- 681.3*D48 Performance: measurements; modeling and prediction; monitors; operational analysis; queuing theory; simulation; stochastic analysis (Operating systems)--See also {?681.3*C2}; {681.3*D28}; {681.3*I6} --- Performance: measurements; modeling and prediction; monitors; operational analysis; queuing theory; simulation; stochastic analysis (Operating systems)--See also {?681.3*C2}; {681.3*D28}; {681.3*I6} --- 681.3*D46 Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- 681.3*D45 Reliability: backup procedures; checkpoint/restart; fault-tolerance; verification (Operating systems) --- Reliability: backup procedures; checkpoint/restart; fault-tolerance; verification (Operating systems) --- Didactics --- Instruction --- Pedagogy --- School teaching --- Schoolteaching --- Education --- Instructional systems --- Pedagogical content knowledge --- Training

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Create high-quality and professional-looking texts, articles, and books for Business and Science using LaTeX

Document markup languages. --- Computerized typesetting. --- Automated typesetting --- Computer typesetting --- Computerized typesetting --- Typesetting --- Word processing --- Text processing (Computer science) --- Computer programs --- Data processing --- LaTeX (Computer file) --- 681.3*I --- 681.3*I Computing methodologies --- Computing methodologies

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Drupal is een gratis, zeer krachtig contentmanagementsysteem (cms) waarmee je een website kunt bouwen. Werken met Drupal wijst zich niet vanzelf, hoewel versie 7 een stuk gebruikersvriendelijker is dan de voorgaande versies. Hoe begin je? Wat is een handig stappenplan voor je website? In Basiscursus Drupal 7 ligt de nadruk niet op de techniek, maar op de praktijk. Centraal staat hoe je de belangrijkste functies leert gebruiken en hoe je als ‘gewone’ gebruiker het meeste uit dit krachtige cms haalt. Het boek is bedoeld voor mensen die nog niet bekend zijn met Drupal of met het bouwen van websites, en het stimuleert je om verder te komen dan het niveau van een beginner. Het is de eerste Nederlandstalige gids voor het gebruik van Drupal.   Basiscursus Drupal 7 is een van de populairste delen van de serie Basiscursussen, een door de opzet, de vele oefeningen en het heldere taalgebruik populaire serie in onderwijs en praktijk.   Over de inhoud Met Basiscursus Drupal 7 leer je:   Drupal toe te passen voor jouw doel; hoe je snel je weg vindt binnen de vele mogelijkheden; alle vaardigheden die nodig zijn om een allround Drupalsite te maken: installeren, een raamwerk maken voor de inhoud, menu’s maken, vormgeving aanpassen en extra’s toevoegen, zoals reactieformulieren, blogs en forums. Extra materiaal Voor docenten die de methode  Basiscursus Drupal 7  gaan voorschrijven binnen hun hbo-opleiding is er een aanvulling op het lesmateriaal voorhanden, waaronder voorbeeldbestanden bij de oefeningen in het boek. U kunt dit extra materiaal eenvoudig opvragen via onze docentenservice onder vermelding van de betreffende titel en het ISBN. Mail hiervoor naar  docentenservice@bua.nl .   Doelgroepen De serie Basiscursussen is uitermate geschikt voor het onderwijs. Door de stap-voor-stapaanpak, de vele oefeningen en het heldere taalgebruik zijn de boeken populair bij docenten en studenten. Omdat de boeken zijn opgezet als zelfstudieboeken zijn ze ook in de praktijk heel goed te gebruiken.

websites --- Computer architecture. Operating systems --- webapplicaties (informatica) --- infobib --- Management Information System --- Internet --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Computer science --- departement Lerarenopleiding 11 --- internet, webprogrammering --- Drupal --- Content management --- Contentmanagement

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers  a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for advanced undergraduates and graduate students in a wide range of disciplines impacted by embedded computing and software. Its conceptual clarity, the style of explanations and the examples make the abstract concepts accessible for a wide audience." Janos Sztipanovits, Director E. Bronson Ingram Distinguished Professor of Engineering Institute for Software Integrated Systems Vanderbilt University Real-Time Systems focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between the academic and industrial worlds has led to the inclusion of many insightful examples from industry to explain the fundamental scientific concepts in a real-world setting.  Compared to the first edition, new developments in complexity management, energy and power management, dependability, security, and the internet of things, are addressed. The book is written as a standard textbook for a high-level undergraduate or graduate course on real-time embedded systems or cyber-physical systems.  Its practical approach to solving real-time problems, along with numerous summary exercises, makes it an excellent choice for researchers and practitioners alike.

681.3*C3 --- 681.3*D47 --- 681.3*J7 --- 681.3*D47 Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- Organization and design: batch processing systems; distributed systems; hierarchical design; interactive systems; real-time systems (Operating systems) --- 681.3*J7 Computers in other systems: command and control; consumer products; industrial control; process control; publishing; real time--See also {681.3*C3} --- Computers in other systems: command and control; consumer products; industrial control; process control; publishing; real time--See also {681.3*C3} --- Special-purpose and application-based systems: microprocessor/microcomputer; process control-, real-time, signal processing systems (Computer systems organization) --- Programming --- embedded systems --- Real-time data processing --- Embedded computer systems --- Electronic data processing --- Temps réel --- Systèmes enfouis (Informatique) --- Traitement réparti --- Distributed processing --- EPUB-LIV-FT LIVINFOR SPRINGER-B --- Special purpose computers. --- Electronic circuits. --- Computer system failures. --- Computer communication systems. --- Microprocessors. --- Special Purpose and Application-Based Systems. --- Circuits and Systems. --- System Performance and Evaluation. --- Computer Communication Networks. --- Processor Architectures. --- Minicomputers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics --- Special purpose computers --- Computers --- Failures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Semantic Web models and technologies provide information in machine-readable languages that enable computers to access the Web more intelligently and perform tasks automatically without the direction of users. These technologies are relatively recent and advancing rapidly, creating a set of unique challenges for those developing applications. Semantic Web for the Working Ontologist is the essential, comprehensive resource on semantic modeling, for practitioners in health care, artificial intelligence, finance, engineering, military intelligence, enterprise architecture, and m

Information systems --- Web site development. --- Semantic Web. --- Metadata. --- Sites Web --- Web sémantique --- Métadonnées --- Développement --- Data about data --- Meta-data --- Information organization --- Semantic integration (Computer systems) --- Semantic networks (Information theory) --- World Wide Web --- Microformats --- Development of Web sites --- Web sites --- Internet programming --- Development --- Metadata --- Semantic Web --- Web site development --- #KVHA:Ontologie --- #KVHA:OWL --- #KVHA:RDFS --- #KVHA: Semantic web --- 681.3*H --- 681.3*H Information systems